Projekte

• Systemsoftware zum parallelen und verteilten Rechnen
• Computer Algebra
  • Paralleles Gleichungslösen mit Gröbner Basen
  • Analysis Alive: Veranschaulichung mathematischer Konzepte mit dem Computer
• Computer Logik (automatische Deduktion und Verifikation)
  • Hochleistungs-Termersetzung
  • Symbolische Verifikation von Schaltungsentwürfen
  • Paralleles und Verteiltes Beweisen
• Industrielle Steuerungstechnik
  • Die offene parallele Robotersteuerung HighRobot